<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" 
          "http://www.w3.org/TR/html4/strict.dtd">
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
<html>
<head>
  <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
  <title>The KLEE Symbolic Virtual Machine</title>
  <link type="text/css" rel="stylesheet" href="menu.css">
  <link type="text/css" rel="stylesheet" href="content.css">
</head>
<body>
<!--#include virtual="menu.html.incl"-->
<div id="content">
  <!--*********************************************************************-->
  <h1>The KLEE Symbolic Virtual Machine</h1>
  <!--*********************************************************************-->

  <p>KLEE is a symbolic virtual machine built on top of
  the <a href="http://llvm.org">LLVM</a> compiler infrastructure, and available
  under the UIUC open source license.</p>

  <p>For more information on what KLEE is and what it can do, see
  the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI
  2008</a> paper.</p>

  <p>If you are interested in trying it yourself, please
  see <a href="GetStarted.html">Getting Started</a>.</p>

<!--  <p>FIXME: Somewhere need to describe what KLEE can do well and what
      is more "experimental" or research level. This should also address
      how KLEE could be used by outside groups (i.e. kleaver).</p> -->

</div>
</body>
</html>
